Nuprl Lemma : m-sys-null_wf
0,22
postcript
pdf
System
latex
Definitions
,
System
,
,
x
:
A
.
B
(
x
)
,
Feasible(
M
)
,
Id
,
MsgA
,
t
T
Lemmas
ma-feasible
wf
,
Id
wf
,
ma-empty
wf
,
ma-empty-feasible
origin
System System 
x:A. B(x) T